8

Surface Morphology of the Emu (Dromaius novaehollandiae) Tongue

Year:
2010
Language:
english
File:
PDF, 766 KB
english, 2010
10

Quiz Page May 2014

Year:
2014
Language:
english
File:
PDF, 528 KB
english, 2014
18

Computational adequacy of the FIX-logic

Year:
1994
Language:
english
File:
PDF, 1.29 MB
english, 1994
22

On fixpoint objects and gluing constructions

Year:
1996
Language:
english
File:
PDF, 1.29 MB
english, 1996
23

New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic

Year:
1992
Language:
english
File:
PDF, 1.74 MB
english, 1992
25

Preface: Volume 58, Issue 1

Year:
2001
Language:
english
File:
PDF, 42 KB
english, 2001
26

Review: Key Java: Advanced Tips and Techniques

Year:
1999
Language:
english
File:
PDF, 90 KB
english, 1999
28

Alpha equivalence equalities

Year:
2012
Language:
english
File:
PDF, 303 KB
english, 2012
38

Computation and Reasoning

Year:
1994
Language:
english
File:
PDF, 240 KB
english, 1994
41

Categories for Types || Advice for the Reader

Year:
1994
Language:
english
File:
PDF, 195 KB
english, 1994
45

Canonical HybridLF: Extending Hybrid with Dependent Types

Year:
2016
Language:
english
File:
PDF, 232 KB
english, 2016
49

Categories for Types ||

Year:
1994
Language:
english
File:
PDF, 210 KB
english, 1994